ePMC

Benchmark
Model:wlan v.1 (MDP)
Parameter(s)MAX_BACKOFF = 10, COL = 0
Property:cost_min (exp-reward)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ../epmc-standard.jar check --model-input-files wlan.10.prism --model-input-type prism --property-input-files wlan.props --property-input-names cost_min --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const COL=0
Execution
Walltime:> 1800s (Timeout)
Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property cost_min
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 13321 13321
build-model-states-explored 30350 17029
build-model-states-explored 45470 15120
build-model-states-explored 61435 15965
build-model-states-explored 81490 20055
build-model-states-explored 101120 19630
build-model-states-explored 121316 20196
build-model-states-explored 133309 11993
build-model-states-explored 152674 19365
build-model-states-explored 172041 19367
build-model-states-explored 190814 18773
build-model-states-explored 207156 16342
build-model-states-explored 225310 18154
build-model-states-explored 245455 20145
build-model-states-explored 265409 19954
build-model-states-explored 285557 20148
build-model-states-explored 305721 20164
build-model-states-explored 325574 19853
build-model-states-explored 345909 20334
build-model-states-explored 366951 21043
build-model-states-explored 388013 21062
build-model-states-explored 408369 20356
build-model-states-explored 424180 15811
build-model-states-explored 437566 13386
build-model-states-explored 448978 11412
build-model-states-explored 459824 10846
build-model-states-explored 469724 9900
build-model-states-explored 487996 18272
build-model-states-explored 507937 19941
build-model-states-explored 527586 19649
build-model-states-explored 547583 19997
build-model-states-explored 567555 19972
build-model-states-explored 587517 19962
build-model-states-explored 607490 19973
build-model-states-explored 627142 19652
build-model-states-explored 647131 19989
build-model-states-explored 667110 19979
build-model-states-explored 687065 19955
build-model-states-explored 707021 19956
build-model-states-explored 725077 18056
build-model-states-explored 745048 19971
build-model-states-explored 758295 13247
build-model-states-explored 771162 12867
build-model-states-explored 791239 20076
build-model-states-explored 811273 20035
build-model-states-explored 831320 20047
build-model-states-explored 850830 19510
build-model-states-explored 864152 13322
build-model-states-explored 884195 20043
build-model-states-explored 903918 19723
build-model-states-explored 923946 20028
build-model-states-explored 943879 19933
build-model-states-explored 963930 20051
build-model-states-explored 983945 20015
build-model-states-explored 1004019 20074
build-model-states-explored 1023989 19970
build-model-states-explored 1044053 20064
build-model-states-explored 1062979 18926
build-model-states-explored 1083225 20246
build-model-states-explored 1103472 20247
build-model-states-explored 1123715 20243
build-model-states-explored 1143959 20244
build-model-states-explored 1164193 20234
build-model-states-explored 1184451 20258
build-model-states-explored 1204730 20278
build-model-states-explored 1224957 20228
build-model-states-explored 1245188 20230
build-model-states-explored 1265463 20276
build-model-states-explored 1285733 20269
build-model-states-explored 1306731 20998
build-model-states-explored 1328043 21312
build-model-states-explored 1349364 21321
build-model-states-explored 1370626 21261
build-model-states-explored 1391955 21329
build-model-states-explored 1413285 21329
build-model-states-explored 1434382 21098
build-model-states-explored 1455445 21063
build-model-states-explored 1476904 21459
build-model-states-explored 1498251 21347
build-model-states-explored 1519740 21489
build-model-states-explored 1541191 21451
build-model-states-explored 1560919 19728
build-model-states-explored 1579279 18359
build-model-states-explored 1599790 20511
build-model-states-explored 1611353 11563
build-model-states-explored 1621127 9774
build-model-states-explored 1632604 11477
build-model-states-explored 1641998 9394
build-model-states-explored 1653060 11062
build-model-states-explored 1656523 3462
build-model-states-explored 1667405 10883
build-model-states-explored 1678295 10890
build-model-states-explored 1689054 10759
build-model-states-explored 1700644 11590
build-model-states-explored 1712234 11589
build-model-states-explored 1723813 11579
build-model-states-explored 1735296 11483
build-model-states-explored 1746863 11567
build-model-states-explored 1753833 6970
build-model-states-explored 1773661 19827
build-model-states-explored 1793471 19811
build-model-states-explored 1813260 19789
build-model-states-explored 1833069 19809
build-model-states-explored 1852867 19798
build-model-states-explored 1871597 18729
build-model-states-explored 1891396 19800
build-model-states-explored 1911202 19806
build-model-states-explored 1930990 19788
build-model-states-explored 1950803 19813
build-model-states-explored 1970543 19740
build-model-states-explored 1990299 19756
build-model-states-explored 2009786 19487
build-model-states-explored 2029150 19364
build-model-states-explored 2048446 19296
build-model-states-explored 2067747 19301
build-model-states-explored 2087041 19294
build-model-states-explored 2105112 18071
build-model-states-explored 2124410 19298
build-model-states-explored 2143717 19307
build-model-states-explored 2163011 19294
build-model-states-explored 2182347 19335
build-model-states-explored 2201632 19285
build-model-states-explored 2220903 19271
build-model-states-explored 2240232 19329
build-model-states-explored 2259551 19319
build-model-states-explored 2278806 19255
build-model-states-explored 2298092 19286
build-model-states-explored 2317438 19346
build-model-states-explored 2336687 19249
build-model-states-explored 2355895 19208
build-model-states-explored 2375079 19183
build-model-states-explored 2394832 19754
build-model-states-explored 2414680 19848
build-model-states-explored 2434523 19843
build-model-states-explored 2454359 19836
build-model-states-explored 2474168 19809
build-model-states-explored 2494000 19832
build-model-states-explored 2513809 19809
build-model-states-explored 2533624 19815
build-model-states-explored 2553443 19819
build-model-states-explored 2573183 19740
build-model-states-explored 2592995 19812
build-model-states-explored 2612831 19836
build-model-states-explored 2632658 19827
build-model-states-explored 2652499 19841
build-model-states-explored 2672289 19790
build-model-states-explored 2692108 19819
build-model-states-explored 2711876 19768
build-model-states-explored 2731701 19825
build-model-states-explored 2751513 19812
build-model-states-explored 2771284 19771
build-model-states-explored 2791113 19829
build-model-states-explored 2810907 19794
build-model-states-explored 2830713 19806
build-model-states-explored 2850528 19815
build-model-states-explored 2863644 13116
build-model-states-explored 2876525 12881
build-model-states-explored 2887357 10832
build-model-states-explored 2898167 10810
build-model-states-explored 2908994 10827
build-model-states-explored 2919807 10813
build-model-states-explored 2930596 10789
build-model-states-explored 2947427 16831
build-model-states-explored 2967949 20521
build-model-states-explored 2988462 20514
build-model-states-explored 3008980 20518
build-model-states-explored 3029496 20516
build-model-states-explored 3049499 20003
build-model-states-explored 3069455 19956
build-model-states-explored 3089401 19946
build-model-states-explored 3109398 19997
build-model-states-explored 3129417 20018
build-model-states-explored 3149369 19951
build-model-states-explored 3169284 19915
build-model-states-explored 3189291 20008
build-model-states-explored 3209296 20005
build-model-states-explored 3229230 19934
build-model-states-explored 3249156 19926
build-model-states-explored 3269152 19996
build-model-states-explored 3289152 20000
build-model-states-explored 3309083 19931
build-model-states-explored 3329008 19925
build-model-states-explored 3348997 19989
build-model-states-explored 3369002 20005
build-model-states-explored 3388957 19955
build-model-states-explored 3392305 3348
build-model-states-explored 3401787 9482
build-model-states-explored 3421695 19908
build-model-states-explored 3441583 19888
build-model-states-explored 3461563 19979
build-model-states-explored 3481540 19978
build-model-states-explored 3501417 19876
build-model-states-explored 3521333 19917
build-model-states-explored 3541309 19975
build-model-states-explored 3561252 19944
build-model-states-explored 3581147 19895
build-model-states-explored 3601083 19936
build-model-states-explored 3621048 19965
build-model-states-explored 3640976 19928
build-model-states-explored 3660865 19889
build-model-states-explored 3680809 19943
build-model-states-explored 3700768 19960
build-model-states-explored 3720665 19897
build-model-states-explored 3740547 19882
build-model-states-explored 3760522 19975
build-model-states-explored 3780491 19969
build-model-states-explored 3800337 19846
build-model-states-explored 3820237 19900
build-model-states-explored 3840214 19977
build-model-states-explored 3860141 19927
build-model-states-explored 3880038 19897
build-model-states-explored 3900001 19963
build-model-states-explored 3919971 19970
build-model-states-explored 3939890 19919
build-model-states-explored 3959788 19897
build-model-states-explored 3979752 19965
build-model-states-explored 3999734 19982
build-model-states-explored 4019634 19900
build-model-states-explored 4039525 19890
build-model-states-explored 4059490 19966
build-model-states-explored 4079444 19954
build-model-states-explored 4099050 19606
build-model-states-explored 4119181 20131
build-model-states-explored 4139321 20140
build-model-states-explored 4159442 20121
build-model-states-explored 4179536 20094
build-model-states-explored 4197037 17501
build-model-states-explored 4217165 20128
build-model-states-explored 4237315 20150
build-model-states-explored 4257408 20093
build-model-states-explored 4277504 20096
build-model-states-explored 4297609 20105
build-model-states-explored 4317756 20147
build-model-states-explored 4337901 20145
build-model-states-explored 4358032 20131
build-model-states-explored 4378140 20108
build-model-states-explored 4398228 20087
build-model-states-explored 4418332 20105
build-model-states-explored 4438490 20158
build-model-states-explored 4458614 20124
build-model-states-explored 4478709 20095
build-model-states-explored 4498801 20092
build-model-states-explored 4518686 19885
build-model-states-explored 4538510 19824
build-model-states-explored 4558452 19942
build-model-states-explored 4578456 20004
build-model-states-explored 4598441 19985
build-model-states-explored 4618533 20092
build-model-states-explored 4638686 20153
build-model-states-explored 4658799 20113
build-model-states-explored 4678903 20104
build-model-states-explored 4699020 20117
build-model-states-explored 4719176 20156
build-model-states-explored 4739331 20154
build-model-states-explored 4759454 20124
build-model-states-explored 4779540 20086
build-model-states-explored 4799642 20102
build-model-states-explored 4819757 20115
build-model-states-explored 4839859 20102
build-model-states-explored 4860010 20151
build-model-states-explored 4880124 20114
build-model-states-explored 4900231 20107
build-model-states-explored 4920318 20087
build-model-states-explored 4940448 20130
build-model-states-explored 4960603 20155
build-model-states-explored 4980587 19984
build-model-states-explored 5000503 19916
build-model-states-explored 5020400 19897
build-model-states-explored 5040894 20494
build-model-states-explored 5062118 21224
build-model-states-explored 5083362 21244
build-model-states-explored 5104558 21196
build-model-states-explored 5125782 21224
build-model-states-explored 5147025 21243
build-model-states-explored 5168266 21241
build-model-states-explored 5189437 21171
build-model-states-explored 5210667 21230
build-model-states-explored 5231679 21012
build-model-states-explored 5252901 21222
build-model-states-explored 5274149 21248
build-model-states-explored 5295402 21253
build-model-states-explored 5316618 21216
build-model-states-explored 5337861 21243
build-model-states-explored 5359109 21248
build-model-states-explored 5380317 21208
build-model-states-explored 5401559 21242
build-model-states-explored 5422802 21243
build-model-states-explored 5444040 21238
build-model-states-explored 5465281 21241
build-model-states-explored 5486516 21235
build-model-states-explored 5507731 21215
build-model-states-explored 5528973 21242
build-model-states-explored 5550217 21244
build-model-states-explored 5571444 21227
build-model-states-explored 5592682 21238
build-model-states-explored 5613919 21237
build-model-states-explored 5635155 21236
build-model-states-explored 5656393 21238
build-model-states-explored 5677622 21229
build-model-states-explored 5698836 21214
build-model-states-explored 5720066 21230
build-model-states-explored 5741310 21244
build-model-states-explored 5762542 21232
build-model-states-explored 5783785 21243
build-model-states-explored 5805030 21245
build-model-states-explored 5826260 21230
build-model-states-explored 5847503 21243
build-model-states-explored 5868754 21251
build-model-states-explored 5889977 21223
build-model-states-explored 5911215 21238
build-model-states-explored 5932444 21229
build-model-states-explored 5953647 21203
build-model-states-explored 5974879 21232
build-model-states-explored 5996124 21245
build-model-states-explored 6017348 21224
build-model-states-explored 6038585 21237
build-model-states-explored 6059821 21236
build-model-states-explored 6081041 21220
build-model-states-explored 6096588 15547
build-model-states-explored 6112509 15921
build-model-states-explored 6131895 19386
build-model-states-explored 6151700 19805
build-model-states-explored 6171798 20098
build-model-states-explored 6189539 17741
build-model-states-explored 6194297 4758
build-model-states-explored 6200306 6009
build-model-states-explored 6206189 5883
build-model-states-explored 6209392 3203
build-model-states-explored 6220430 11038
build-model-states-explored 6231791 11361
build-model-states-explored 6243150 11359
build-model-states-explored 6254526 11376
build-model-states-explored 6265874 11348
build-model-states-explored 6277211 11337
build-model-states-explored 6288533 11322
build-model-states-explored 6299869 11336
build-model-states-explored 6311211 11342
build-model-states-explored 6316386 5175
build-model-states-explored 6325654 9268
build-model-states-explored 6336949 11295
build-model-states-explored 6348237 11288
build-model-states-explored 6359488 11251
build-model-states-explored 6370725 11237
build-model-states-explored 6381983 11258
build-model-states-explored 6393223 11240
build-model-states-explored 6404428 11205
build-model-states-explored 6415626 11198
build-model-states-explored 6426832 11206
build-model-states-explored 6438014 11182
build-model-states-explored 6449153 11139
build-model-states-explored 6460306 11153
build-model-states-explored 6471478 11172
build-model-states-explored 6482603 11125
build-model-states-explored 6493715 11112
build-model-states-explored 6504871 11156
build-model-states-explored 6515481 10610
build-model-states-explored 6526570 11089
build-model-states-explored 6537699 11129
build-model-states-explored 6548798 11099
build-model-states-explored 6559843 11045
build-model-states-explored 6570930 11087
build-model-states-explored 6582017 11087
build-model-states-explored 6593055 11038
build-model-states-explored 6604121 11066
build-model-states-explored 6615055 10934
build-model-states-explored 6626058 11003
build-model-states-explored 6637093 11035
build-model-states-explored 6648140 11047
build-model-states-explored 6659113 10973
build-model-states-explored 6670109 10996
build-model-states-explored 6681123 11014
build-model-states-explored 6692081 10958
build-model-states-explored 6703060 10979
build-model-states-explored 6708180 5120
build-model-states-explored 6708180 0
build-model-states-explored 6708180 0
build-model-states-explored 6717911 9731
build-model-states-explored 6728835 10924
build-model-states-explored 6739794 10959
build-model-states-explored 6744196 4402
build-model-states-explored 6746438 2242
build-model-states-explored 6748696 2258
build-model-states-explored 6768079 19383
build-model-states-explored 6787471 19392
build-model-states-explored 6806846 19375
build-model-states-explored 6826164 19318
build-model-states-explored 6845448 19284
build-model-states-explored 6864703 19255
build-model-states-explored 6884021 19318
build-model-states-explored 6903327 19306
build-model-states-explored 6922634 19307
build-model-states-explored 6941996 19362
build-model-states-explored 6961375 19379
build-model-states-explored 6980683 19308
build-model-states-explored 6999991 19308
build-model-states-explored 7019284 19293
build-model-states-explored 7038586 19302
build-model-states-explored 7057869 19283
build-model-states-explored 7077145 19276
build-model-states-explored 7096486 19341
build-model-states-explored 7115854 19368
build-model-states-explored 7135118 19264
build-model-states-explored 7154405 19287
build-model-states-explored 7173687 19282
build-model-states-explored 7192957 19270
build-model-states-explored 7212236 19279
build-model-states-explored 7231523 19287
build-model-states-explored 7250905 19382
build-model-states-explored 7270192 19287
build-model-states-explored 7289488 19296
build-model-states-explored 7308756 19268
build-model-states-explored 7327995 19239
build-model-states-explored 7342379 14384
build-model-states-explored 7355163 12784
build-model-states-explored 7374461 19298
build-model-states-explored 7393764 19303
build-model-states-explored 7413034 19270
build-model-states-explored 7432327 19293
build-model-states-explored 7451632 19305
build-model-states-explored 7470914 19282
build-model-states-explored 7490296 19382
build-model-states-explored 7509617 19321
build-model-states-explored 7528897 19280
build-model-states-explored 7548184 19287
build-model-states-explored 7567469 19285
build-model-states-explored 7586746 19277
build-model-states-explored 7606028 19282
build-model-states-explored 7625312 19284
build-model-states-explored 7644696 19384
build-model-states-explored 7663972 19276
build-model-states-explored 7683248 19276
build-model-states-explored 7702513 19265
build-model-states-explored 7721787 19274
build-model-states-explored 7741059 19272
build-model-states-explored 7760328 19269
build-model-states-explored 7779700 19372
build-model-states-explored 7798990 19290
build-model-states-explored 7818241 19251
build-model-states-explored 7837520 19279
build-model-states-explored 7856787 19267
build-model-states-explored 7876018 19231
build-model-states-explored 7895271 19253
build-model-states-explored 7914614 19343
build-model-states-explored 7933890 19276
build-model-states-explored 7953142 19252
build-model-states-explored 7972497 19355
build-model-states-explored 7992434 19937
build-model-states-explored 8012404 19970
build-model-states-explored 8031802 19398
build-model-states-explored 8051733 19931
build-model-states-explored 8071661 19928
build-model-states-explored 8091661 20000
build-model-states-explored 8111656 19995
build-model-states-explored 8131665 20009
build-model-states-explored 8151678 20013
build-model-states-explored 8171507 19829
build-model-states-explored 8191480 19973
build-model-states-explored 8211467 19987
build-model-states-explored 8231459 19992
build-model-states-explored 8251456 19997
build-model-states-explored 8271448 19992
build-model-states-explored 8291295 19847
build-model-states-explored 8311295 20000
build-model-states-explored 8331289 19994
build-model-states-explored 8351276 19987
build-model-states-explored 8371268 19992
build-model-states-explored 8388607 17339
build-model-states-explored 8406054 17447
build-model-states-explored 8426001 19947
build-model-states-explored 8445936 19935
build-model-states-explored 8465943 20007
build-model-states-explored 8485959 20016
build-model-states-explored 8505975 20016
build-model-states-explored 8525950 19975
build-model-states-explored 8545814 19864
build-model-states-explored 8565804 19990
build-model-states-explored 8585783 19979
build-model-states-explored 8605776 19993
build-model-states-explored 8625776 20000
build-model-states-explored 8645741 19965
build-model-states-explored 8665614 19873
build-model-states-explored 8685596 19982
build-model-states-explored 8705572 19976
build-model-states-explored 8725555 19983
build-model-states-explored 8745547 19992
build-model-states-explored 8765460 19913
build-model-states-explored 8785382 19922
build-model-states-explored 8805372 19990
build-model-states-explored 8825355 19983
build-model-states-explored 8845349 19994
build-model-states-explored 8865327 19978
build-model-states-explored 8885190 19863
build-model-states-explored 8905160 19970
build-model-states-explored 8925151 19991
build-model-states-explored 8945124 19973
build-model-states-explored 8965113 19989
build-model-states-explored 8985100 19987
build-model-states-explored 9004904 19804
build-model-states-explored 9024862 19958
build-model-states-explored 9044809 19947
build-model-states-explored 9064740 19931
build-model-states-explored 9084681 19941
build-model-states-explored 9104627 19946
build-model-states-explored 9124502 19875
build-model-states-explored 9144368 19866
build-model-states-explored 9164332 19964
build-model-states-explored 9184250 19918
build-model-states-explored 9204160 19910
build-model-states-explored 9224113 19953
build-model-states-explored 9244062 19949
build-model-states-explored 9263859 19797
build-model-states-explored 9283792 19933
build-model-states-explored 9303707 19915
build-model-states-explored 9323646 19939
build-model-states-explored 9343603 19957
build-model-states-explored 9363537 19934
build-model-states-explored 9383436 19899
build-model-states-explored 9403301 19865
build-model-states-explored 9423224 19923
build-model-states-explored 9443154 19930
build-model-states-explored 9463091 19937
build-model-states-explored 9483011 19920
build-model-states-explored 9502941 19930
build-model-states-explored 9522755 19814
build-model-states-explored 9542644 19889
build-model-states-explored 9562579 19935
build-model-states-explored 9582518 19939
build-model-states-explored 9602434 19916
build-model-states-explored 9622364 19930
build-model-states-explored 9642298 19934
build-model-states-explored 9662098 19800
build-model-states-explored 9682036 19938
build-model-states-explored 9701976 19940
build-model-states-explored 9721917 19941
build-model-states-explored 9741843 19926
build-model-states-explored 9761771 19928
build-model-states-explored 9781646 19875
build-model-states-explored 9801491 19845
build-model-states-explored 9821441 19950
build-model-states-explored 9841383 19942
build-model-states-explored 9861332 19949
build-model-states-explored 9881279 19947
build-model-states-explored 9901196 19917
build-model-states-explored 9920834 19638
build-model-states-explored 9940445 19611
build-model-states-explored 9960112 19667
build-model-states-explored 9979955 19843
build-model-states-explored 9999735 19780
build-model-states-explored 10019602 19867
build-model-states-explored 10039532 19930
build-model-states-explored 10059446 19914
build-model-states-explored 10079365 19919
build-model-states-explored 10098580 19215
build-model-states-explored 10118076 19496
build-model-states-explored 10137539 19463
build-model-states-explored 10157015 19476
build-model-states-explored 10176500 19485
build-model-states-explored 10195988 19488
build-model-states-explored 10215425 19437
build-model-states-explored 10234929 19504
build-model-states-explored 10254401 19472
build-model-states-explored 10273889 19488
build-model-states-explored 10293381 19492
build-model-states-explored 10312836 19455
build-model-states-explored 10332307 19471
build-model-states-explored 10351743 19436
build-model-states-explored 10371075 19332
build-model-states-explored 10390120 19045
build-model-states-explored 10409615 19495
build-model-states-explored 10429083 19468
build-model-states-explored 10448555 19472
build-model-states-explored 10468008 19453
build-model-states-explored 10487482 19474
build-model-states-explored 10506975 19493
build-model-states-explored 10526468 19493
build-model-states-explored 10545926 19458
build-model-states-explored 10565400 19474
build-model-states-explored 10584877 19477
build-model-states-explored 10604348 19471
build-model-states-explored 10623832 19484
build-model-states-explored 10643363 19531
build-model-states-explored 10662878 19515
build-model-states-explored 10682342 19464
build-model-states-explored 10701806 19464
build-model-states-explored 10721254 19448
build-model-states-explored 10740718 19464
build-model-states-explored 10760197 19479
build-model-states-explored 10779639 19442
build-model-states-explored 10799096 19457
build-model-states-explored 10818572 19476
build-model-states-explored 10838014 19442
build-model-states-explored 10857462 19448
build-model-states-explored 10876928 19466
build-model-states-explored 10896369 19441
build-model-states-explored 10915818 19449
build-model-states-explored 10935280 19462
build-model-states-explored 10954734 19454
build-model-states-explored 10974201 19467
build-model-states-explored 10993702 19501
build-model-states-explored 11013210 19508
build-model-states-explored 11032646 19436
build-model-states-explored 11052081 19435
build-model-states-explored 11071508 19427
build-model-states-explored 11090937 19429
build-model-states-explored 11110372 19435
build-model-states-explored 11129814 19442
build-model-states-explored 11149263 19449
build-model-states-explored 11168731 19468
build-model-states-explored 11188181 19450
build-model-states-explored 11207656 19475
build-model-states-explored 11219496 11840
build-model-states-explored 11229572 10076
build-model-states-explored 11230484 912
build-model-states-explored 11234571 4087
build-model-states-explored 11244651 10080
build-model-states-explored 11254723 10072
build-model-states-explored 11264786 10063
build-model-states-explored 11273812 9026
build-model-states-explored 11283849 10037
build-model-states-explored 11293890 10041
build-model-states-explored 11303901 10011
build-model-states-explored 11313908 10007
build-model-states-explored 11323924 10016
build-model-states-explored 11333932 10008
build-model-states-explored 11343931 9999
build-model-states-explored 11353913 9982
build-model-states-explored 11363856 9943
build-model-states-explored 11373777 9921
build-model-states-explored 11383750 9973
build-model-states-explored 11393548 9798
build-model-states-explored 11403486 9938
build-model-states-explored 11413409 9923
build-model-states-explored 11423324 9915
build-model-states-explored 11433238 9914
build-model-states-explored 11443169 9931
build-model-states-explored 11453082 9913
build-model-states-explored 11462981 9899
build-model-states-explored 11472883 9902
build-model-states-explored 11492328 19445
build-model-states-explored 11512526 20198
build-model-states-explored 11532764 20238
build-model-states-explored 11552982 20218
build-model-states-explored 11573222 20240
build-model-states-explored 11593457 20235
build-model-states-explored 11613658 20201
build-model-states-explored 11633869 20211
build-model-states-explored 11654088 20219
build-model-states-explored 11674287 20199
build-model-states-explored 11694435 20148
build-model-states-explored 11714603 20168
build-model-states-explored 11734761 20158
build-model-states-explored 11754914 20153
build-model-states-explored 11775082 20168
build-model-states-explored 11795244 20162
build-model-states-explored 11815431 20187
build-model-states-explored 11835645 20214
build-model-states-explored 11855851 20206
build-model-states-explored 11876052 20201
build-model-states-explored 11896270 20218
build-model-states-explored 11916478 20208
build-model-states-explored 11936691 20213
build-model-states-explored 11956868 20177
build-model-states-explored 11977027 20159
build-model-states-explored 11997200 20173
build-model-states-explored 12017358 20158
build-model-states-explored 12037527 20169
build-model-states-explored 12057704 20177
build-model-states-explored 12077865 20161
build-model-states-explored 12098063 20198
build-model-states-explored 12118279 20216
build-model-states-explored 12138476 20197
build-model-states-explored 12158682 20206
build-model-states-explored 12178893 20211
build-model-states-explored 12199104 20211
build-model-states-explored 12219294 20190
build-model-states-explored 12239499 20205
build-model-states-explored 12259672 20173
build-model-states-explored 12279816 20144
build-model-states-explored 12299984 20168
build-model-states-explored 12320144 20160
build-model-states-explored 12340270 20126
build-model-states-explored 12360432 20162
build-model-states-explored 12380643 20211
build-model-states-explored 12400833 20190
build-model-states-explored 12421046 20213
build-model-states-explored 12441261 20215
build-model-states-explored 12461437 20176
build-model-states-explored 12481543 20106
build-model-states-explored 12501771 20228
build-model-states-explored 12521967 20196
build-model-states-explored 12542132 20165
build-model-states-explored 12562322 20190
build-model-states-explored 12582500 20178
build-model-states-explored 12602624 20124
build-model-states-explored 12622755 20131
build-model-states-explored 12642900 20145
build-model-states-explored 12663066 20166
build-model-states-explored 12683253 20187
build-model-states-explored 12703417 20164
build-model-states-explored 12723587 20170
build-model-states-explored 12743740 20153
build-model-states-explored 12763904 20164
build-model-states-explored 12784051 20147
build-model-states-explored 12804179 20128
build-model-states-explored 12824314 20135
build-model-states-explored 12844457 20143
build-model-states-explored 12864580 20123
build-model-states-explored 12884721 20141
build-model-states-explored 12904911 20190
build-model-states-explored 12925096 20185
build-model-states-explored 12945278 20182
build-model-states-explored 12965469 20191
build-model-states-explored 12985503 20034
build-model-states-explored 13005642 20139
build-model-states-explored 13025794 20152
build-model-states-explored 13045928 20134
build-model-states-explored 13066028 20100
build-model-states-explored 13086145 20117
build-model-states-explored 13106268 20123
build-model-states-explored 13126377 20109
build-model-states-explored 13146543 20166
build-model-states-explored 13166714 20171
build-model-states-explored 13186854 20140
build-model-states-explored 13207025 20171
build-model-states-explored 13227205 20180
build-model-states-explored 13247371 20166
build-model-states-explored 13267533 20162
build-model-states-explored 13287686 20153
build-model-states-explored 13307814 20128
build-model-states-explored 13327943 20129
build-model-states-explored 13348083 20140
build-model-states-explored 13368230 20147
build-model-states-explored 13388384 20154
build-model-states-explored 13408574 20190
build-model-states-explored 13428746 20172
build-model-states-explored 13448914 20168
build-model-states-explored 13469094 20180
build-model-states-explored 13489266 20172
build-model-states-explored 13509456 20190
build-model-states-explored 13529598 20142
build-model-states-explored 13539029 9431
build-model-states-explored 13539029 0
build-model-states-explored 13539029 0
build-model-states-explored 13539029 0
build-model-states-explored 13539029 0
build-model-states-explored 13543951 4922
build-model-states-explored 13564131 20180
build-model-states-explored 13584240 20109
build-model-states-explored 13604417 20177
build-model-states-explored 13624603 20186
build-model-states-explored 13644770 20167
build-model-states-explored 13664959 20189
build-model-states-explored 13685082 20123
build-model-states-explored 13705217 20135
build-model-states-explored 13725339 20122
build-model-states-explored 13745476 20137
build-model-states-explored 13765615 20139
build-model-states-explored 13785755 20140
build-model-states-explored 13805939 20184
build-model-states-explored 13826135 20196
build-model-states-explored 13846322 20187
build-model-states-explored 13866510 20188
build-model-states-explored 13886709 20199
build-model-states-explored 13906888 20179
build-model-states-explored 13927062 20174
build-model-states-explored 13947213 20151
build-model-states-explored 13967341 20128
build-model-states-explored 13987470 20129
build-model-states-explored 14007635 20165
build-model-states-explored 14027800 20165
build-model-states-explored 14047933 20133
build-model-states-explored 14068133 20200
build-model-states-explored 14088328 20195
build-model-states-explored 14108509 20181
build-model-states-explored 14128706 20197
build-model-states-explored 14148898 20192
build-model-states-explored 14169066 20168
build-model-states-explored 14189250 20184
build-model-states-explored 14209383 20133
build-model-states-explored 14229528 20145
build-model-states-explored 14249657 20129
build-model-states-explored 14269808 20151
build-model-states-explored 14289936 20128
build-model-states-explored 14310068 20132
build-model-states-explored 14330264 20196
build-model-states-explored 14350443 20179
build-model-states-explored 14370596 20153
build-model-states-explored 14390775 20179
build-model-states-explored 14410945 20170
build-model-states-explored 14431128 20183
build-model-states-explored 14451292 20164
build-model-states-explored 14471420 20128
build-model-states-explored 14491580 20160
build-model-states-explored 14511715 20135
build-model-states-explored 14531872 20157
build-model-states-explored 14552035 20163
build-model-states-explored 14572185 20150
build-model-states-explored 14592383 20198
build-model-states-explored 14612589 20206
build-model-states-explored 14632767 20178
build-model-states-explored 14652954 20187
build-model-states-explored 14673146 20192
build-model-states-explored 14693328 20182
build-model-states-explored 14713510 20182
build-model-states-explored 14733654 20144
build-model-states-explored 14753794 20140
build-model-states-explored 14773876 20082
build-model-states-explored 14793730 19854
build-model-states-explored 14813885 20155
build-model-states-explored 14834067 20182
build-model-states-explored 14854273 20206
build-model-states-explored 14874478 20205
build-model-states-explored 14894656 20178
build-model-states-explored 14914852 20196
build-model-states-explored 14935046 20194
build-model-states-explored 14955207 20161
build-model-states-explored 14975280 20073
build-model-states-explored 14995401 20121
build-model-states-explored 15015512 20111
build-model-states-explored 15035617 20105
build-model-states-explored 15055732 20115
build-model-states-explored 15075867 20135
build-model-states-explored 15096021 20154
build-model-states-explored 15116199 20178
build-model-states-explored 15136364 20165
build-model-states-explored 15156519 20155
build-model-states-explored 15176694 20175
build-model-states-explored 15196852 20158
build-model-states-explored 15216969 20117
build-model-states-explored 15237107 20138
build-model-states-explored 15257217 20110
build-model-states-explored 15277320 20103
build-model-states-explored 15297447 20127
build-model-states-explored 15317606 20159
build-model-states-explored 15337791 20185
build-model-states-explored 15357978 20187
build-model-states-explored 15378157 20179
build-model-states-explored 15398340 20183
build-model-states-explored 15418527 20187
build-model-states-explored 15438715 20188
build-model-states-explored 15458888 20173
build-model-states-explored 15479021 20133
build-model-states-explored 15498900 19879
build-model-states-explored 15518706 19806
build-model-states-explored 15538685 19979
build-model-states-explored 15558825 20140
build-model-states-explored 15578878 20053
build-model-states-explored 15599015 20137
build-model-states-explored 15619162 20147
build-model-states-explored 15639339 20177
build-model-states-explored 15659466 20127
build-model-states-explored 15679565 20099
build-model-states-explored 15699674 20109
build-model-states-explored 15719799 20125
build-model-states-explored 15739907 20108
build-model-states-explored 15760052 20145
build-model-states-explored 15780250 20198
build-model-states-explored 15800445 20195
build-model-states-explored 15820551 20106
build-model-states-explored 15840740 20189
build-model-states-explored 15860908 20168
build-model-states-explored 15881075 20167
build-model-states-explored 15901212 20137
build-model-states-explored 15921334 20122
build-model-states-explored 15941443 20109
build-model-states-explored 15961430 19987
build-model-states-explored 15981386 19956
build-model-states-explored 16001459 20073
build-model-states-explored 16021663 20204
build-model-states-explored 16041870 20207
build-model-states-explored 16062064 20194
build-model-states-explored 16082215 20151
build-model-states-explored 16102404 20189
build-model-states-explored 16122602 20198
build-model-states-explored 16142746 20144
build-model-states-explored 16162892 20146
build-model-states-explored 16183042 20150
build-model-states-explored 16203173 20131
build-model-states-explored 16223319 20146
build-model-states-explored 16243488 20169
build-model-states-explored 16263675 20187
build-model-states-explored 16283850 20175
build-model-states-explored 16304045 20195
build-model-states-explored 16324237 20192
build-model-states-explored 16344414 20177
build-model-states-explored 16364622 20208
build-model-states-explored 16384826 20204
build-model-states-explored 16404979 20153
build-model-states-explored 16425141 20162
build-model-states-explored 16445295 20154
build-model-states-explored 16465425 20130
build-model-states-explored 16485583 20158
build-model-states-explored 16505732 20149
build-model-states-explored 16525894 20162
build-model-states-explored 16546088 20194
build-model-states-explored 16566283 20195
build-model-states-explored 16586463 20180
build-model-states-explored 16606634 20171
build-model-states-explored 16626820 20186
build-model-states-explored 16646991 20171
build-model-states-explored 16667104 20113
build-model-states-explored 16687236 20132
build-model-states-explored 16707343 20107
build-model-states-explored 16727464 20121
build-model-states-explored 16747600 20136
build-model-states-explored 16767722 20122
build-model-states-explored 16777631 9909
build-model-states-explored 16797744 20113
build-model-states-explored 16817851 20107
build-model-states-explored 16837985 20134
build-model-states-explored 16858095 20110
build-model-states-explored 16878227 20132
build-model-states-explored 16898398 20171
build-model-states-explored 16918572 20174
build-model-states-explored 16938744 20172
build-model-states-explored 16958823 20079
build-model-states-explored 16978925 20102
build-model-states-explored 16999059 20134
build-model-states-explored 17019196 20137
build-model-states-explored 17039316 20120
build-model-states-explored 17059420 20104
build-model-states-explored 17079546 20126
build-model-states-explored 17099670 20124
build-model-states-explored 17119807 20137
build-model-states-explored 17139973 20166
build-model-states-explored 17160149 20176
build-model-states-explored 17180282 20133
build-model-states-explored 17200414 20132
build-model-states-explored 17220609 20195
build-model-states-explored 17240796 20187
build-model-states-explored 17260921 20125
build-model-states-explored 17281055 20134
build-model-states-explored 17301159 20104
build-model-states-explored 17321257 20098
build-model-states-explored 17341375 20118
build-model-states-explored 17361500 20125
build-model-states-explored 17381650 20150
build-model-states-explored 17401805 20155
build-model-states-explored 17421967 20162
build-model-states-explored 17442139 20172
build-model-states-explored 17462292 20153
build-model-states-explored 17482452 20160
build-model-states-explored 17502572 20120
build-model-states-explored 17522680 20108
build-model-states-explored 17542792 20112
build-model-states-explored 17562912 20120
build-model-states-explored 17583038 20126
build-model-states-explored 17603166 20128
build-model-states-explored 17623344 20178
build-model-states-explored 17643525 20181
build-model-states-explored 17663713 20188
build-model-states-explored 17683906 20193
build-model-states-explored 17704111 20205
build-model-states-explored 17724292 20181
build-model-states-explored 17744468 20176
build-model-states-explored 17764602 20134
build-model-states-explored 17784709 20107
build-model-states-explored 17804858 20149
build-model-states-explored 17825008 20150
build-model-states-explored 17845146 20138
build-model-states-explored 17865308 20162
build-model-states-explored 17885504 20196
build-model-states-explored 17905676 20172
build-model-states-explored 17925862 20186
build-model-states-explored 17946037 20175
build-model-states-explored 17966203 20166
build-model-states-explored 17986368 20165
build-model-states-explored 18006538 20170
build-model-states-explored 18026660 20122
build-model-states-explored 18046771 20111
build-model-states-explored 18066897 20126
build-model-states-explored 18087010 20113
build-model-states-explored 18107119 20109
build-model-states-explored 18127293 20174
build-model-states-explored 18147465 20172
build-model-states-explored 18167628 20163
build-model-states-explored 18187808 20180
build-model-states-explored 18207977 20169
build-model-states-explored 18228161 20184
build-model-states-explored 18248315 20154
build-model-states-explored 18268431 20116
build-model-states-explored 18288550 20119
build-model-states-explored 18308653 20103
build-model-states-explored 18328773 20120
build-model-states-explored 18348889 20116
build-model-states-explored 18369043 20154
build-model-states-explored 18389190 20147
build-model-states-explored 18409335 20145
build-model-states-explored 18429519 20184
build-model-states-explored 18449703 20184
build-model-states-explored 18469904 20201
build-model-states-explored 18490101 20197
build-model-states-explored 18510213 20112
build-model-states-explored 18530354 20141
build-model-states-explored 18550491 20137
build-model-states-explored 18570619 20128
build-model-states-explored 18590777 20158
build-model-states-explored 18610926 20149
build-model-states-explored 18631098 20172
build-model-states-explored 18651290 20192
build-model-states-explored 18671472 20182
build-model-states-explored 18691619 20147
build-model-states-explored 18711777 20158
build-model-states-explored 18731940 20163
build-model-states-explored 18752060 20120
build-model-states-explored 18772158 20098
build-model-states-explored 18792277 20119
build-model-states-explored 18812399 20122
build-model-states-explored 18832511 20112
build-model-states-explored 18852627 20116
build-model-states-explored 18872794 20167
build-model-states-explored 18892950 20156
build-model-states-explored 18913113 20163
build-model-states-explored 18933276 20163
build-model-states-explored 18953367 20091
build-model-states-explored 18973549 20182
build-model-states-explored 18993685 20136
build-model-states-explored 19013811 20126
build-model-states-explored 19033922 20111
build-model-states-explored 19054039 20117
build-model-states-explored 19074166 20127
build-model-states-explored 19094280 20114
build-model-states-explored 19114447 20167
build-model-states-explored 19134625 20178
build-model-states-explored 19154794 20169
build-model-states-explored 19174959 20165
build-model-states-explored 19195129 20170
build-model-states-explored 19215301 20172
build-model-states-explored 19235488 20187
build-model-states-explored 19255642 20154
build-model-states-explored 19275788 20146
build-model-states-explored 19295912 20124
build-model-states-explored 19316046 20134
build-model-states-explored 19336183 20137
build-model-states-explored 19356291 20108
build-model-states-explored 19376468 20177
build-model-states-explored 19396642 20174
build-model-states-explored 19416772 20130
build-model-states-explored 19436930 20158
build-model-states-explored 19457110 20180
build-model-states-explored 19477231 20121
build-model-states-explored 19497341 20110
build-model-states-explored 19517440 20099
build-model-states-explored 19537538 20098
build-model-states-explored 19557634 20096
build-model-states-explored 19577756 20122
build-model-states-explored 19597853 20097
build-model-states-explored 19617988 20135
build-model-states-explored 19638182 20194
build-model-states-explored 19658370 20188
build-model-states-explored 19678552 20182
build-model-states-explored 19698750 20198
build-model-states-explored 19718927 20177
build-model-states-explored 19739072 20145
build-model-states-explored 19759216 20144
build-model-states-explored 19779335 20119
build-model-states-explored 19799467 20132
build-model-states-explored 19819583 20116
build-model-states-explored 19839732 20149
build-model-states-explored 19859930 20198
build-model-states-explored 19880939 21009
build-model-states-explored 19902318 21379
build-model-states-explored 19923712 21394
build-model-states-explored 19945111 21399
build-model-states-explored 19966478 21367
build-model-states-explored 19987862 21384
build-model-states-explored 20009243 21381
build-model-states-explored 20030629 21386
build-model-states-explored 20052013 21384
build-model-states-explored 20073399 21386
build-model-states-explored 20094776 21377
build-model-states-explored 20116158 21382
build-model-states-explored 20137541 21383
build-model-states-explored 20158909 21368
build-model-states-explored 20180278 21369
build-model-states-explored 20201659 21381
build-model-states-explored 20223016 21357
build-model-states-explored 20244383 21367
build-model-states-explored 20265754 21371
build-model-states-explored 20287128 21374
build-model-states-explored 20308498 21370
build-model-states-explored 20329889 21391
build-model-states-explored 20351254 21365
build-model-states-explored 20372609 21355
build-model-states-explored 20393978 21369
build-model-states-explored 20415322 21344
build-model-states-explored 20436690 21368
build-model-states-explored 20458057 21367
build-model-states-explored 20479439 21382
build-model-states-explored 20500830 21391
build-model-states-explored 20522240 21410
build-model-states-explored 20543628 21388
build-model-states-explored 20565024 21396
build-model-states-explored 20586431 21407
build-model-states-explored 20607815 21384
build-model-states-explored 20629198 21383
build-model-states-explored 20650579 21381
build-model-states-explored 20671930 21351
build-model-states-explored 20693298 21368
build-model-states-explored 20714670 21372
build-model-states-explored 20736048 21378
build-model-states-explored 20757430 21382
build-model-states-explored 20778824 21394
build-model-states-explored 20800187 21363
build-model-states-explored 20821543 21356
build-model-states-explored 20842916 21373
build-model-states-explored 20864276 21360
build-model-states-explored 20885613 21337
build-model-states-explored 20907013 21400
build-model-states-explored 20928389 21376
build-model-states-explored 20949780 21391
build-model-states-explored 20971178 21398
build-model-states-explored 20992551 21373
build-model-states-explored 21013955 21404
build-model-states-explored 21035354 21399
build-model-states-explored 21056737 21383
build-model-states-explored 21078132 21395
build-model-states-explored 21099511 21379
build-model-states-explored 21120863 21352
build-model-states-explored 21142244 21381
build-model-states-explored 21163619 21375
build-model-states-explored 21184978 21359
build-model-states-explored 21206367 21389
build-model-states-explored 21227750 21383
build-model-states-explored 21249122 21372
build-model-states-explored 21270515 21393
build-model-states-explored 21291905 21390
build-model-states-explored 21313262 21357
build-model-states-explored 21334647 21385
build-model-states-explored 21356039 21392
build-model-states-explored 21377416 21377
build-model-states-explored 21398803 21387
build-model-states-explored 21420189 21386
build-model-states-explored 21441549 21360
build-model-states-explored 21462859 21310
build-model-states-explored 21484178 21319
build-model-states-explored 21505522 21344
build-model-states-explored 21526860 21338
build-model-states-explored 21548227 21367
build-model-states-explored 21569585 21358
build-model-states-explored 21590937 21352
build-model-states-explored 21612298 21361
build-model-states-explored 21633570 21272
build-model-states-explored 21654625 21055
build-model-states-explored 21675673 21048
build-model-states-explored 21696975 21302
build-model-states-explored 21718224 21249
build-model-states-explored 21739524 21300
build-model-states-explored 21760874 21350
build-model-states-explored 21782232 21358
build-model-states-explored 21803580 21348
build-model-states-explored 21824943 21363
build-model-states-explored 21846318 21375
build-model-states-explored 21867692 21374
build-model-states-explored 21889061 21369
build-model-states-explored 21910442 21381
build-model-states-explored 21931821 21379
build-model-states-explored 21953195 21374
build-model-states-explored 21974534 21339
build-model-states-explored 21995933 21399
build-model-states-explored 22017305 21372
build-model-states-explored 22038690 21385
build-model-states-explored 22060100 21410
build-model-states-explored 22081483 21383
build-model-states-explored 22102882 21399
build-model-states-explored 22124140 21258
build-model-states-explored 22145306 21166
build-model-states-explored 22166546 21240
build-model-states-explored 22187952 21406
build-model-states-explored 22209333 21381
build-model-states-explored 22230703 21370
build-model-states-explored 22252104 21401
build-model-states-explored 22273479 21375
build-model-states-explored 22294857 21378
build-model-states-explored 22316248 21391
build-model-states-explored 22337624 21376
build-model-states-explored 22359005 21381
build-model-states-explored 22380412 21407
build-model-states-explored 22401770 21358
build-model-states-explored 22423151 21381
build-model-states-explored 22444521 21370
build-model-states-explored 22465886 21365
build-model-states-explored 22487270 21384
build-model-states-explored 22508668 21398
build-model-states-explored 22530049 21381
build-model-states-explored 22551452 21403
build-model-states-explored 22572834 21382
build-model-states-explored 22594219 21385
build-model-states-explored 22615626 21407
build-model-states-explored 22637035 21409
build-model-states-explored 22658398 21363
build-model-states-explored 22679768 21370
build-model-states-explored 22701142 21374
build-model-states-explored 22722502 21360
build-model-states-explored 22743892 21390
build-model-states-explored 22765274 21382
build-model-states-explored 22786638 21364
build-model-states-explored 22808025 21387
build-model-states-explored 22829427 21402
build-model-states-explored 22850808 21381
build-model-states-explored 22872191 21383
build-model-states-explored 22893579 21388
build-model-states-explored 22914971 21392
build-model-states-explored 22936371 21400
build-model-states-explored 22957767 21396
build-model-states-explored 22979155 21388
build-model-states-explored 23000553 21398
build-model-states-explored 23021952 21399
build-model-states-explored 23043336 21384
build-model-states-explored 23064732 21396
build-model-states-explored 23086125 21393
build-model-states-explored 23107507 21382
build-model-states-explored 23128887 21380
build-model-states-explored 23150267 21380
build-model-states-explored 23171629 21362
build-model-states-explored 23192992 21363
build-model-states-explored 23214359 21367
build-model-states-explored 23235720 21361
build-model-states-explored 23257087 21367
build-model-states-explored 23278461 21374
build-model-states-explored 23299827 21366
build-model-states-explored 23321200 21373
build-model-states-explored 23342574 21374
build-model-states-explored 23363930 21356
build-model-states-explored 23385296 21366
build-model-states-explored 23406670 21374
build-model-states-explored 23428007 21337
build-model-states-explored 23449342 21335
build-model-states-explored 23470729 21387
build-model-states-explored 23492085 21356
build-model-states-explored 23513463 21378
build-model-states-explored 23534839 21376
build-model-states-explored 23556210 21371
build-model-states-explored 23577612 21402
build-model-states-explored 23599015 21403
build-model-states-explored 23620389 21374
build-model-states-explored 23641770 21381
build-model-states-explored 23663171 21401
build-model-states-explored 23684535 21364
build-model-states-explored 23705924 21389
build-model-states-explored 23727316 21392
build-model-states-explored 23748684 21368
build-model-states-explored 23770066 21382
build-model-states-explored 23791459 21393
build-model-states-explored 23812826 21367
build-model-states-explored 23834203 21377
build-model-states-explored 23855589 21386
build-model-states-explored 23876945 21356
build-model-states-explored 23898320 21375
build-model-states-explored 23919719 21399
build-model-states-explored 23941115 21396
build-model-states-explored 23962506 21391
build-model-states-explored 23983889 21383
build-model-states-explored 24005257 21368
build-model-states-explored 24026646 21389
build-model-states-explored 24048032 21386
build-model-states-explored 24068592 20560
build-model-states-explored 24076716 8124
build-model-states-explored 24089828 13112
build-model-states-explored 24094245 4417
build-model-states-explored 24114690 20445
build-model-states-explored 24133160 18470
build-model-states-explored 24153005 19845
build-model-states-explored 24173091 20086
build-model-states-explored 24193194 20103
build-model-states-explored 24212873 19679
build-model-states-explored 24233417 20544
build-model-states-explored 24254673 21256
build-model-states-explored 24265986 11313
build-model-states-explored 24277252 11266
build-model-states-explored 24282642 5390
build-model-states-explored 24288072 5430
build-model-states-explored 24293466 5394
build-model-states-explored 24298828 5362
build-model-states-explored 24300854 2026
build-model-states-explored 24300854 0
build-model-states-explored 24301955 1101
build-model-states-explored 24307434 5479
build-model-states-explored 24312903 5469
build-model-states-explored 24318362 5459
build-model-states-explored 24323801 5439
build-model-states-explored 24329234 5433
build-model-states-explored 24334657 5423
build-model-states-explored 24340061 5404
build-model-states-explored 24344173 4112
build-model-states-explored 24345272 1099
build-model-states-explored 24346368 1096
build-model-states-explored 24347456 1088
build-model-states-explored 24350306 2850
build-model-states-explored 24366146 15840
build-model-states-explored 24377121 10975
build-model-states-explored 24387959 10838
build-model-states-explored 24398834 10875
build-model-states-explored 24409793 10959
build-model-states-explored 24420624 10831
build-model-states-explored 24431474 10850
build-model-states-explored 24442415 10941
build-model-states-explored 24453235 10820
build-model-states-explored 24464040 10805
build-model-states-explored 24474958 10918
build-model-states-explored 24485771 10813
build-model-states-explored 24496544 10773
build-model-states-explored 24507401 10857
build-model-states-explored 24518256 10855
build-model-states-explored 24529022 10766
build-model-states-explored 24539942 10920
build-model-states-explored 24550795 10853
build-model-states-explored 24561574 10779
build-model-states-explored 24572445 10871
build-model-states-explored 24583293 10848
build-model-states-explored 24594050 10757
build-model-states-explored 24604886 10836
build-model-states-explored 24615726 10840
build-model-states-explored 24626470 10744
build-model-states-explored 24637275 10805
build-model-states-explored 24648123 10848
build-model-states-explored 24658840 10717
build-model-states-explored 24669609 10769
build-model-states-explored 24680440 10831
build-model-states-explored 24691159 10719
build-model-states-explored 24701877 10718
build-model-states-explored 24712694 10817
build-model-states-explored 24723431 10737
build-model-states-explored 24734135 10704
build-model-states-explored 24744920 10785
build-model-states-explored 24755671 10751
build-model-states-explored 24766351 10680
build-model-states-explored 24777110 10759
build-model-states-explored 24787883 10773
build-model-states-explored 24798554 10671
build-model-states-explored 24804650 6096
build-model-states-explored 24804650 0
build-model-states-explored 24805171 521
build-model-states-explored 24815785 10614
build-model-states-explored 24826471 10686
build-model-states-explored 24837185 10714
build-model-states-explored 24847821 10636
build-model-states-explored 24858487 10666
build-model-states-explored 24869225 10738
build-model-states-explored 24879874 10649
build-model-states-explored 24890481 10607
build-model-states-explored 24901203 10722
build-model-states-explored 24911113 9910
build-model-states-explored 24921707 10594
build-model-states-explored 24932334 10627
build-model-states-explored 24943045 10711
build-model-states-explored 24953642 10597
build-model-states-explored 24964190 10548
build-model-states-explored 24974890 10700
build-model-states-explored 24985548 10658
build-model-states-explored 24996122 10574
build-model-states-explored 25006766 10644
build-model-states-explored 25017428 10662
build-model-states-explored 25027996 10568
build-model-states-explored 25038580 10584
build-model-states-explored 25049240 10660
build-model-states-explored 25059841 10601
build-model-states-explored 25070396 10555
build-model-states-explored 25081016 10620
build-model-states-explored 25091657 10641
build-model-states-explored 25102196 10539
build-model-states-explored 25112768 10572
build-model-states-explored 25123412 10644
build-model-states-explored 25133980 10568
build-model-states-explored 25144495 10515
build-model-states-explored 25155116 10621
build-model-states-explored 25165706 10590
build-model-states-explored 25176200 10494
build-model-states-explored 25186746 10546
build-model-states-explored 25197355 10609
build-model-states-explored 25207875 10520
build-model-states-explored 25218323 10448
build-model-states-explored 25228879 10556
build-model-states-explored 25239416 10537
build-model-states-explored 25249879 10463
build-model-states-explored 25260385 10506
build-model-states-explored 25270940 10555
build-model-states-explored 25281432 10492
build-model-states-explored 25291872 10440
build-model-states-explored 25302385 10513
build-model-states-explored 25312909 10524
build-model-states-explored 25323325 10416
build-model-states-explored 25333730 10405
build-model-states-explored 25344233 10503
build-model-states-explored 25354669 10436
build-model-states-explored 25365030 10361
build-model-states-explored 25375433 10403
build-model-states-explored 25385889 10456
build-model-states-explored 25396274 10385
build-model-states-explored 25406626 10352
build-model-states-explored 25417026 10400
build-model-states-explored 25427457 10431
build-model-states-explored 25437790 10333
build-model-states-explored 25448119 10329
build-model-states-explored 25458506 10387
build-model-states-explored 25468902 10396
build-model-states-explored 25479206 10304
build-model-states-explored 25489493 10287
build-model-states-explored 25499869 10376
build-model-states-explored 25510233 10364
build-model-states-explored 25520448 10215
build-model-states-explored 25530705 10257
build-model-states-explored 25541056 10351
build-model-states-explored 25551389 10333
build-model-states-explored 25561633 10244
build-model-states-explored 25571883 10250
build-model-states-explored 25582191 10308
build-model-states-explored 25592471 10280
build-model-states-explored 25602697 10226
build-model-states-explored 25612913 10216
build-model-states-explored 25623204 10291
build-model-states-explored 25633482 10278
build-model-states-explored 25643662 10180
build-model-states-explored 25653856 10194
build-model-states-explored 25664126 10270
build-model-states-explored 25674366 10240
build-model-states-explored 25684531 10165
build-model-states-explored 25694699 10168
build-model-states-explored 25704943 10244
build-model-states-explored 25715189 10246
build-model-states-explored 25725327 10138
build-model-states-explored 25735473 10146
build-model-states-explored 25745697 10224
build-model-states-explored 25755933 10236
build-model-states-explored 25766067 10134
build-model-states-explored 25776184 10117
build-model-states-explored 25786372 10188
build-model-states-explored 25796576 10204
build-model-states-explored 25806730 10154
build-model-states-explored 25816770 10040
build-model-states-explored 25826915 10145
build-model-states-explored 25837112 10197
build-model-states-explored 25847270 10158
build-model-states-explored 25857376 10106
build-model-states-explored 25867494 10118
build-model-states-explored 25877682 10188
build-model-states-explored 25887861 10179
build-model-states-explored 25897957 10096
build-model-states-explored 25908069 10112
build-model-states-explored 25918251 10182
build-model-states-explored 25928430 10179
build-model-states-explored 25938526 10096
build-model-states-explored 25948508 9982
build-model-states-explored 25958489 9981
build-model-states-explored 25968580 10091
build-model-states-explored 25978700 10120
build-model-states-explored 25988718 10018
build-model-states-explored 25998789 10071
build-model-states-explored 26008948 10159
build-model-states-explored 26019099 10151
build-model-states-explored 26029186 10087
build-model-states-explored 26039256 10070
build-model-states-explored 26049400 10144
build-model-states-explored 26059551 10151
build-model-states-explored 26069629 10078
build-model-states-explored 26079704 10075
build-model-states-explored 26089831 10127
build-model-states-explored 26099975 10144
build-model-states-explored 26110039 10064
build-model-states-explored 26120056 10017
build-model-states-explored 26130102 10046
build-model-states-explored 26140228 10126
build-model-states-explored 26150350 10122
build-model-states-explored 26160397 10047
build-model-states-explored 26170443 10046
build-model-states-explored 26180481 10038
build-model-states-explored 26190509 10028
build-model-states-explored 26200517 10008
build-model-states-explored 26210538 10021
build-model-states-explored 26220585 10047
build-model-states-explored 26230685 10100
build-model-states-explored 26240762 10077
build-model-states-explored 26250768 10006
build-model-states-explored 26260779 10011
build-model-states-explored 26270868 10089
build-model-states-explored 26280952 10084
build-model-states-explored 26290979 10027
build-model-states-explored 26300974 9995
build-model-states-explored 26311007 10033
build-model-states-explored 26321085 10078
build-model-states-explored 26331150 10065
build-model-states-explored 26341133 9983
build-model-states-explored 26351111 9978
build-model-states-explored 26361163 10052
build-model-states-explored 26371209 10046
build-model-states-explored 26381202 9993
build-model-states-explored 26391172 9970
build-model-states-explored 26401137 9965
build-model-states-explored 26411172 10035
build-model-states-explored 26421205 10033
build-model-states-explored 26431111 9906
build-model-states-explored 26441042 9931
build-model-states-explored 26451019 9977
build-model-states-explored 26461020 10001
build-model-states-explored 26462899 1879
build-model-states-explored 26463915 1016
build-model-states-explored 26464929 1014
build-model-states-explored 26465944 1015
build-model-states-explored 26467096 1152
build-model-states-explored 26468260 1164
build-model-states-explored 26469385 1125
build-model-states-explored 26470509 1124
build-model-states-explored 26471644 1135
build-model-states-explored 26472781 1137
build-model-states-explored 26473917 1136
build-model-states-explored 26488759 14842
build-model-states-explored 26507972 19213
build-model-states-explored 26526922 18950
build-model-states-explored 26546142 19220
build-model-states-explored 26565077 18935
build-model-states-explored 26584283 19206
build-model-states-explored 26603500 19217
build-model-states-explored 26622433 18933
build-model-states-explored 26641661 19228
build-model-states-explored 26660628 18967
build-model-states-explored 26679844 19216
build-model-states-explored 26699077 19233
build-model-states-explored 26718014 18937
build-model-states-explored 26737256 19242
build-model-states-explored 26756296 19040
build-model-states-explored 26775400 19104
build-model-states-explored 26794624 19224
build-model-states-explored 26813553 18929
build-model-states-explored 26832769 19216
build-model-states-explored 26851930 19161
build-model-states-explored 26870938 19008
build-model-states-explored 26890127 19189
build-model-states-explored 26908723 18596
build-model-states-explored 26927966 19243
build-model-states-explored 26947216 19250
build-model-states-explored 26966161 18945
build-model-states-explored 26971597 5436
build-model-states-explored 26971597 0
build-model-states-explored 26971597 0
build-model-states-explored 26971597 0
build-model-states-explored 26971597 0
build-model-states-explored 26971597 0
build-model-states-explored 26971597 0
build-model-states-explored 26971597 0
build-model-states-explored 26971597 0
build-model-states-explored 26971597 0
build-model-states-explored 26988945 17348
build-model-states-explored 27008174 19229
build-model-states-explored 27027090 18916
build-model-states-explored 27046314 19224
build-model-states-explored 27065319 19005
build-model-states-explored 27084474 19155
build-model-states-explored 27103687 19213
build-model-states-explored 27122630 18943
build-model-states-explored 27141863 19233
build-model-states-explored 27160974 19111
build-model-states-explored 27180028 19054
build-model-states-explored 27199252 19224
build-model-states-explored 27216293 17041
build-model-states-explored 27235241 18948
build-model-states-explored 27254485 19244
build-model-states-explored 27273719 19234
build-model-states-explored 27292663 18944
build-model-states-explored 27311893 19230
build-model-states-explored 27330838 18945
build-model-states-explored 27350056 19218
build-model-states-explored 27369282 19226
build-model-states-explored 27388237 18955
build-model-states-explored 27407475 19238
build-model-states-explored 27426512 19037
build-model-states-explored 27445664 19152
build-model-states-explored 27464914 19250
build-model-states-explored 27483856 18942
build-model-states-explored 27503098 19242
build-model-states-explored 27522201 19103
build-model-states-explored 27541256 19055
build-model-states-explored 27560471 19215
build-model-states-explored 27579419 18948
build-model-states-explored 27598641 19222
build-model-states-explored 27617850 19209
build-model-states-explored 27636796 18946
build-model-states-explored 27656023 19227
build-model-states-explored 27674954 18931
build-model-states-explored 27694174 19220
build-model-states-explored 27713393 19219
build-model-states-explored 27732324 18931
build-model-states-explored 27751540 19216
build-model-states-explored 27770459 18919
build-model-states-explored 27789674 19215
build-model-states-explored 27808904 19230
build-model-states-explored 27827801 18897
build-model-states-explored 27846982 19181
build-model-states-explored 27866036 19054
build-model-states-explored 27885118 19082
build-model-states-explored 27904318 19200
build-model-states-explored 27923228 18910
build-model-states-explored 27942452 19224
build-model-states-explored 27961659 19207
build-model-states-explored 27980621 18962
build-model-states-explored 27999843 19222
build-model-states-explored 28018773 18930
build-model-states-explored 28037996 19223
build-model-states-explored 28057199 19203
build-model-states-explored 28076113 18914
build-model-states-explored 28095333 19220
build-model-states-explored 28114242 18909
build-model-states-explored 28133461 19219
build-model-states-explored 28152694 19233
build-model-states-explored 28171613 18919
build-model-states-explored 28190829 19216
build-model-states-explored 28209859 19030
build-model-states-explored 28228966 19107
build-model-states-explored 28248188 19222
build-model-states-explored 28267127 18939
build-model-states-explored 28286338 19211
build-model-states-explored 28305499 19161
build-model-states-explored 28324492 18993
build-model-states-explored 28343653 19161
build-model-states-explored 28362575 18922
build-model-states-explored 28381795 19220
build-model-states-explored 28400995 19200
build-model-states-explored 28419905 18910
build-model-states-explored 28439105 19200
build-model-states-explored 28458014 18909
build-model-states-explored 28477212 19198
build-model-states-explored 28496425 19213
build-model-states-explored 28515332 18907
build-model-states-explored 28534545 19213
build-model-states-explored 28553621 19076
build-model-states-explored 28572668 19047
build-model-states-explored 28591888 19220
build-model-states-explored 28610801 18913
build-model-states-explored 28629969 19168
build-model-states-explored 28649175 19206
build-model-states-explored 28668073 18898
build-model-states-explored 28687279 19206
build-model-states-explored 28706187 18908
build-model-states-explored 28725393 19206
build-model-states-explored 28744585 19192
build-model-states-explored 28763486 18901
build-model-states-explored 28782689 19203
build-model-states-explored 28801704 19015
build-model-states-explored 28820760 19056
build-model-states-explored 28839953 19193
build-model-states-explored 28858841 18888
build-model-states-explored 28878042 19201
build-model-states-explored 28897253 19211
build-model-states-explored 28916151 18898
build-model-states-explored 28935355 19204
build-model-states-explored 28954255 18900
build-model-states-explored 28973393 19138
build-model-states-explored 28992535 19142
build-model-states-explored 29011441 18906
build-model-states-explored 29030637 19196
build-model-states-explored 29049727 19090
build-model-states-explored 29068743 19016
build-model-states-explored 29087920 19177
build-model-states-explored 29106812 18892
build-model-states-explored 29123744 16932
build-model-states-explored 29123744 0
build-model-states-explored 29123744 0
build-model-states-explored 29123744 0
build-model-states-explored 29123744 0
build-model-states-explored 29123744 0
build-model-states-explored 29123744 0
build-model-states-explored 29123744 0
build-model-states-explored 29123744 0
build-model-states-explored 29123744 0
build-model-states-explored 29123744 0
build-model-states-explored 29123744 0
build-model-states-explored 29123744 0
build-model-states-explored 29123744 0
build-model-states-explored 29124631 887
build-model-states-explored 29143921 19290
build-model-states-explored 29162968 19047
build-model-states-explored 29182170 19202
build-model-states-explored 29201451 19281
build-model-states-explored 29220449 18998
build-model-states-explored 29239745 19296
build-model-states-explored 29258765 19020
build-model-states-explored 29277998 19233
build-model-states-explored 29297275 19277
build-model-states-explored 29316267 18992
build-model-states-explored 29335551 19284
build-model-states-explored 29354554 19003
build-model-states-explored 29373838 19284
build-model-states-explored 29393122 19284
build-model-states-explored 29412128 19006
build-model-states-explored 29431422 19294
build-model-states-explored 29450413 18991
build-model-states-explored 29469696 19283
build-model-states-explored 29488988 19292
build-model-states-explored 29507966 18978
build-model-states-explored 29527238 19272
build-model-states-explored 29546221 18983
build-model-states-explored 29565474 19253
build-model-states-explored 29584742 19268
build-model-states-explored 29603727 18985
build-model-states-explored 29623014 19287
build-model-states-explored 29642001 18987
build-model-states-explored 29661267 19266
build-model-states-explored 29680535 19268
build-model-states-explored 29699534 18999
build-model-states-explored 29718821 19287
build-model-states-explored 29737811 18990
build-model-states-explored 29757092 19281
build-model-states-explored 29776381 19289
build-model-states-explored 29795373 18992
build-model-states-explored 29814658 19285
build-model-states-explored 29833491 18833
build-model-states-explored 29852733 19242
build-model-states-explored 29871933 19200
build-model-states-explored 29890918 18985
build-model-states-explored 29910176 19258
build-model-states-explored 29929149 18973
build-model-states-explored 29948418 19269
build-model-states-explored 29967693 19275
build-model-states-explored 29986683 18990
build-model-states-explored 30005969 19286
build-model-states-explored 30024947 18978
build-model-states-explored 30044230 19283
build-model-states-explored 30063509 19279
build-model-states-explored 30082475 18966
build-model-states-explored 30101752 19277
build-model-states-explored 30120737 18985
build-model-states-explored 30139993 19256
build-model-states-explored 30159265 19272
build-model-states-explored 30178256 18991
build-model-states-explored 30197518 19262
build-model-states-explored 30216490 18972
build-model-states-explored 30235768 19278
build-model-states-explored 30254871 19103
build-model-states-explored 30273872 19001
build-model-states-explored 30293159 19287
build-model-states-explored 30312145 18986
build-model-states-explored 30331421 19276
build-model-states-explored 30350693 19272
build-model-states-explored 30369684 18991
build-model-states-explored 30388957 19273
build-model-states-explored 30407941 18984
build-model-states-explored 30427187 19246
build-model-states-explored 30446432 19245
build-model-states-explored 30465425 18993
build-model-states-explored 30484671 19246
build-model-states-explored 30503640 18969
build-model-states-explored 30522896 19256
build-model-states-explored 30541939 19043
build-model-states-explored 30560639 18700
build-model-states-explored 30579766 19127
build-model-states-explored 30598982 19216
build-model-states-explored 30617885 18903
build-model-states-explored 30637134 19249
build-model-states-explored 30656105 18971
build-model-states-explored 30675384 19279
build-model-states-explored 30694664 19280
build-model-states-explored 30713654 18990
build-model-states-explored 30732940 19286
build-model-states-explored 30751930 18990
build-model-states-explored 30771196 19266
build-model-states-explored 30790454 19258
build-model-states-explored 30809464 19010
build-model-states-explored 30828744 19280
build-model-states-explored 30847695 18951
build-model-states-explored 30866971 19276
build-model-states-explored 30886198 19227
build-model-states-explored 30905200 19002
build-model-states-explored 30924469 19269
build-model-states-explored 30943424 18955
build-model-states-explored 30962702 19278
build-model-states-explored 30981877 19175
build-model-states-explored 31000627 18750
build-model-states-explored 31019846 19219
build-model-states-explored 31038830 18984
build-model-states-explored 31058094 19264
build-model-states-explored 31077332 19238
build-model-states-explored 31096292 18960
build-model-states-explored 31115560 19268
build-model-states-explored 31134540 18980
build-model-states-explored 31153802 19262
build-model-states-explored 31173053 19251
build-model-states-explored 31192034 18981
build-model-states-explored 31211283 19249
build-model-states-explored 31230268 18985
build-model-states-explored 31249089 18821
build-model-states-explored 31268333 19244
build-model-states-explored 31287267 18934
build-model-states-explored 31306524 19257
build-model-states-explored 31325747 19223
build-model-states-explored 31344713 18966
build-model-states-explored 31363972 19259
build-model-states-explored 31382939 18967
build-model-states-explored 31402189 19250
build-model-states-explored 31421453 19264
build-model-states-explored 31440427 18974
build-model-states-explored 31459656 19229
build-model-states-explored 31478624 18968
build-model-states-explored 31497880 19256
build-model-states-explored 31517129 19249
build-model-states-explored 31536099 18970
build-model-states-explored 31555357 19258
build-model-states-explored 31574311 18954
build-model-states-explored 31593581 19270


----------
Computation aborted after 1800.2438020706177 seconds since the total time limit of 1800 seconds was exceeded.